Möbius: Framework and Atomic Models
نویسندگان
چکیده
This paper gives an overview of the Möbius framework, and gives a formal specification for defining atomic models within the framework. The framework is designed to be capable of incorporating multiple modeling formalisms, including atomic models (e.g, SPNs), composition formalisms (e.g., Replicate/Join), measure specification formalisms, connection formalisms, and solvers. We focus on atomic models, which are composed of actions, state variables, and properties. We argue that these are sufficient to specify a large number of atomic model formalisms in the Möbius framework. The framework serves as a basis for the Möbius tool [13].
منابع مشابه
The Möbius Framework and Its Implementation
The Möbius framework is an environment for supporting multiple modeling formalisms and solution techniques. Models expressed in formalisms that are compatible with the framework are translated into equivalent models using Möbius framework components. This translation preserves the structure of the models, allowing efficient solutions. The framework is implemented in the tool by a well-defined a...
متن کاملIntegrating Stochastic Message Sequence Charts into Möbius for Performance Analysis
In this paper, we propose a formalism called the Stochastic Message Sequence Chart (SMSC) and integrate it into the Möbius framework. SMSC is a stochastic extension to the Message Sequence Chart (MSC) formalism, which is a formal language to describe the communication behavior between the components of a system. Compared with MSC, SMSC is suitable for performance analysis. Such analysis is ofte...
متن کاملDesign and Implementation of an Extensible Tool for Performance and Dependability Model Evaluation by Gerard
The goal of the Möbius project is to develop an object-oriented, formalism-independent, stochastic modeling framework, and to implement the framework in a practical, performance-dependability evaluation tool. The Möbius framework is the specification of an abstract notion of modeling in which models may be represented in many formalisms. The Möbius tool uses this flexible modeling approach for ...
متن کاملImplementing the ADVISE security modeling formalism in Möbius
The ADversary VIew Security Evaluation (ADVISE) model formalism provides a system security model from the perspective of an adversary. An ADVISE atomic model consists of an attack execution graph (AEG) composed of attack steps, system state variables, and attack goals, as well as an adversary profile that defines the abilities and interests of a particular adversary. The ADVISE formalism has be...
متن کاملImplementing a Stochastic Process Algebra within the Möbius Modeling Framework
Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used. The Möbius tool was built to provide multi-formalism multi-solution modeling, and allows the modeler to develop models in any supported formalism. A formalism can be implemented in Möbius if a mapp...
متن کامل